Nuprl Definition : rcv-it
11,40
postcript
pdf
rcv-it(
ff
;
p
;
e
;
i
;
j
)
== ((fifoR(
ff
)(
i
,
e
))
(fifoS(
ff
)(
j
,
i
,fifoSender(
ff
)(
i
,
e
))))
(
p
(fifoSender(
ff
)(
i
,
e
)))
latex
Definitions
fifoSender(
ff
)
,
f
(
a
)
,
fifoS(
ff
)
,
fifoR(
ff
)
,
P
Q
FDL editor aliases
rcv-it
origin
(fifoS(ff)(j,i,fifoSender(ff)(i,e)))) (p(fifoSender(ff)(i,e))) (fifoS(ff)(j,i,fifoSender(ff)(i,e)))) (p(fifoSender(ff)(i,e))) Q